An Implementation of Global Flush Primitive using F-channels

Enhanced Flush+Reload Attack on AES

In cloud computing, multiple users can share the same physical machine that can potentially leak secret information, in particular when the memory de-duplication is enabled. Flush+Reload attack is a cache-based attack that makes use of resource sharing. T-table implementation of AES is commonly used in the crypto libraries like OpenSSL. Several Flush+Reload attacks on T-table implementat...

An Implementation of Global Flush Primitives Using Counters

Addendum to "Proof Rules for Flush Channels"

The logic presented in [1] for processes that communicate using flush channels is inadequate for reasoning about processes that send multiple identical messages along a channel. A modification to the logic and proof system that remedies this deficiency is described herein. Keywords— asynchronous communication, distributed systems, program verification The logic presented in [1] for systems of p...

Implementation Research: An Efficient and Effective Tool to Accelerate Universal Health Coverage

Success in the implementation of evidence-based interventions (EBIs) in different settings has had variable success. Implementation research offers the approach needed to understand the variability of health outcomes from implementation strategies in different settings and why interventions were successful in some countries and failed in others. When mastered and embedd...

Evaluating the Present Situation and Suggesting Appropriate Strategies forImproving the Efficiency of Pistachio Distribution Channels of Kerman Province Using SWOT Model

This study attempted to assess the situation of Iranian pistachio and its export distribution channels. The main purposes of this study were to determine the most important strengths, weaknesses, threats and opportunities facing the distribution channels of export of pistachio in Kerman province and to suggest appropriate strategies for the current situation. For this purpose, an experimental a...